{loop ab {= ba bb} {= bb aab}}{= ab b}